Developers IO 2022秋 in Sapporoで関手について話しました

Developers IO 2022秋 in Sapporoで関手について話しました

Clock Icon2022.11.29

この記事は公開されてから1年以上経過しています。情報が古い可能性がありますので、ご注意ください。

はじめに

ちょっと時間が経ちましたが11/21に開催されたDevelopersIO 2022秋 in Sapporo でプログラミング言語における関手について話しました。

資料

スライドにする元気がなかったのでNotionです。

内容

ListやOptionが圏論の関手と関連していて、圏論における関手の定義がファンクタ則とどう対応しているのか、代数的データ構造や関数が関手になっている、といった話をしました。

現場からは以上です。

Share this article

facebook logohatena logotwitter logo

© Classmethod, Inc. All rights reserved.